DEF=test
EXT=test
TESTDIR=.
KOMPILE_FLAGS=-w all -w2e

include ../../../include/kframework/ktest.mak
